(= (- -1 1) -2)
